Modal Logic and Attribute Value Structures

Representation and Reduction of Decision System Based on Semantics of Extended Propositional Modal Logic

To direct at the characteristic of the decision system based on Rough set theory, the proposition modal logic is extended by adding the attribute constants as the basic symbols, and the formal system of the extended propositional modal logic as well as its semantics are described. Since every decision system based on Rough set theory can be expressed by a decision system based on the semantics ...

Suhrawardi's Modal Syllogisms

Suhrawardi’s logic of the Hikmat al-Ishraq is basically modal. So to understand his modal logic one first has to know the non-modal part upon which his modal logic is built. In my previous paper ‘Suhrawardi on Syllogisms’(3) I discussed the former in detail. The present paper is an exposition of his treatment of modal syllogisms. On the basis of some reasonable existential presuppositi...

A modal perspective on the computational complexity of attribute value grammar

DLP System Description

DLP (Description Logic Prover) is an experimental description logic knowledge representation system. DLP currently implements a superset of propositional dynamic logic as well as K (m) and KT (m). Although DLP is an experimental system, it nonetheless provides a fast satissability checker for the above propositional modal logics as well as a fast reasonder for knowledge bases.

Generalization of Rough Sets Using Relationships Between Attribute Values

The notion of rough sets is generalized by using an arbitrary binary relation on attribute values in information systems, instead of the trivial equality relation. The relation, not necessarily equivalence, between objects are defined in terms of relationships between attribute values. The adoption of other types of relations enables us to define various classes of rough set models. This study ...